<?php

class Intervencion extends BaseIntervencion
{
}
